\begin{tabbing}
$\forall$$L$:(es\_realizer\{i:l\} List). 
\\[0ex]pairwise($A$,$B$.R{-}compat\{i:l\}($A$; $B$); $L$)
\\[0ex]$\Rightarrow$ l\_all($L$; es\_realizer\{i:l\}; $A$.R{-}Feasible\{i:l\}($A$))
\\[0ex]$\Rightarrow$ R{-}Feasible\=\{i:l\}\+
\\[0ex](Rlist($L$))
\-
\end{tabbing}